Logical consequence - PDFSEARCH.IO - Document Search Engine

Logical consequence
Results: 692

#	Item
161	7 LOGICAL AGENTS In which we design agents that can form representations of the world, use a process of inference to derive new representations about the world, and use these new representations to deduce what to do. Add to Reading List Source URL: aima.cs.berkeley.edu Language: English - Date: 2002-11-14 09:04:11 Reasoning Logical consequence Philosophical logic Deduction Hunt the Wumpus PEAS Inference Entailment Completeness Logic Science Artificial intelligence
162	Extending the proof methods and critics of a proof planner Daniel Raggi NI VER Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:50 Automated theorem proving Mathematical logic Logical consequence Philosophical logic Mathematical proof Entailment Sequent calculus Conjecture Mathematical induction Logic Mathematics Proof theory
163	Opinion Deductive reasoning Phil Johnson-Laird∗ This article begins with an account of logic, and of how logicians formulate formal rules of inference for the sentential calculus, which hinges on analogs of negation Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-06-14 22:40:18 Deduction Propositional calculus Logical consequence Logical syntax Inference Mental model Deductive reasoning Natural deduction Entailment Logic Science Reasoning
164	Proving the Security of AES Substitution-Permutation Network Thomas Baign`eres? and Serge Vaudenay EPFL http://lasecwww.epfl.ch Add to Reading List Source URL: www.baigneres.net Language: English - Date: 2013-07-24 10:25:38 Entailment Logical consequence Metalogic Curry–Howard correspondence Advanced Encryption Standard Orbifold Measure of non-compactness Logic Deduction Proof theory
165	Memory & Cognition 2000, 28 (6), [removed]How to eliminate illusions in quantified reasoning YINGRUI YANG and P. N. JOHNSON-LAIRD Princeton University, Princeton, New Jersey Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-06-14 22:35:02 Reasoning Logical consequence Thought Deduction Philosophical logic Mental model Inference Argument Entailment Logic Philosophy Science
166	Kybernetes[removed]). - word count: [removed]Bootstrapping knowledge representations: from entailment meshes via semantic nets to learning webs Francis HEYLIGHEN Add to Reading List Source URL: cleamc11.vub.ac.be Language: English - Date: 2014-05-02 12:27:22 Cybernetics Interdisciplinary fields Logical consequence Systems theory Systems scientists Gordon Pask Conversation theory Center Leo Apostel for Interdisciplinary Studies Francis Heylighen Science Logic Knowledge
167	MENTAL MODELS AND DEDUCTIVE REASONING By P.N. Johnson-Laird Final version September 14th 2005 To be published in Rips, L. and Adler. J. (Eds.): Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-06-14 22:39:48 Reasoning Cognitive psychology Thought Logical consequence Abstraction Mental model Logic Argument Reason Mind Science Ethology
168	Psychologica Belgica 2010, 50-3&4, [removed]Against logical form P.N. Johnson-Laird Princeton University, New Jersey, USA Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-06-14 22:40:33 Propositional calculus Logical consequence Logical syntax Inference Mental model Entailment Proposition Argument Rule of inference Logic Reasoning Deduction
169	A mental model theory of set membership Sangeet Khemlani1, Max Lotstein2, and Phil Johnson-Laird3,4 [removed], [removed], [removed] 1 US Naval Research Laboratory, Washington, DC 2 Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2014-04-30 11:38:34 Reasoning Thought Logical consequence Philosophical logic Deduction Mental model Inference Entailment Reason Logic Science Ethology
170	Chapter 1 Abduction of Multiple Explanatory Hypotheses 1 Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-12-06 10:43:53 Reasoning Epistemology Charles Sanders Peirce Logical consequence Abductive reasoning Defeasible reasoning Entailment Modal logic Scientific method Logic Science Philosophical logic

UPDATE